Memory model

Results: 703



#Item
621Computer memory / Compiler construction / Concurrency / Programming language design / Compilers / Memory barrier / Parallel computing / Memory ordering / Central processing unit / Computing / Software engineering / Computer architecture

An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2012-10-12 10:22:46
622Cognitive science / Semantic memory / Recall / Serial position effect / Encoding / Episodic memory / Free recall / Latent semantic analysis / Contiguity / Mind / Mental processes / Memory

Manuscript in press at Psychological Review. Author’s copy. Version of October 29, 2008 A context maintenance and retrieval model of organizational processes

Add to Reading List

Source URL: www.polyn.com

Language: English - Date: 2008-10-29 10:20:54
623Guggenheim Fellows / Mathematical psychology / Psychonomic Society / William Kaye Estes / Atkinson–Shiffrin memory model / Memory / Year of birth missing / Richard C. Atkinson / Learning sciences / Psychology / Cognitive science / Knowledge

Microsoft Word - RCA_cv_03_2007.doc

Add to Reading List

Source URL: www.rca.ucsd.edu

Language: English - Date: 2007-03-13 14:33:18
624Computer memory / Object-oriented programming / Icelandic language / Old English language / Memory barrier / Eth / Java Memory Model / Memory model / Volatile variable / Computing / Software engineering / Cross-platform software

Multithreaded semantics for Java Overview The Semantics of Multithreaded Java

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 1999-09-22 11:29:01
625Cross-platform software / Computer memory / Data types / Java Memory Model / Java platform / Memory barrier / Garbage collection / Pointer / Type safety / Computing / Software engineering / Computer programming

Implementing OO Languages under a Weak Memory Order William Pugh∗, Univ. of Maryland, College Park, [removed] Shared Memory

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2000-01-03 14:40:04
626Computer memory / Compiler construction / Programming language implementation / Programming language design / Memory model / Volatile variable / Java Memory Model / Linearizability / Lock / Computing / Concurrency control / Software engineering

The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park Java Memory Model and Thread Specification

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-10-24 05:47:30
627Java Memory Model / Lock / Memory barrier / Monitor / Memory model / Deadlock / Thread / Volatile variable / Java virtual machine / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 12, 2004, 6:15pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Spe

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-04-12 18:16:57
628Concurrency control / Concurrency / Computer memory / C++ / Data types / Java Memory Model / Double-checked locking / Immutable object / Constructor / Computing / Software engineering / Computer programming

Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2002-01-11 16:42:23
629Java Memory Model / Memory barrier / Lock / Memory model / Monitor / Deadlock / Thread / Volatile variable / Linearizability / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-04-23 12:58:08
630Logic in computer science / Java Memory Model / Java platform / Computer memory / Concurrency / Programming language semantics / Memory model / Consistency model / Causal consistency / Computing / Computer architecture / Software engineering

A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-01-13 16:21:08
UPDATE